Absolute Calibration of a Displacement Detector from 10 cps to 30 000 cps.
نویسندگان
چکیده
منابع مشابه
A Selective CPS Transformation
The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular “call with current continuation” and “throw”. We characterize this involvement as a control effect and we present a selective CPS transformation tha...
متن کاملCPS Environments
Interactive mediation between the information world and the physical world is a key domain for innovation and a major challenge to building Cyber-physical systems. New approaches to how we interact with the worlds of information and cyber-observable reality whether it be global environment observatories, scientific experimentation, visualization, education, tourism, or entertainment require a c...
متن کاملRetraction Approach to CPS Transform
We study the continuation passing style (CPS) transform and its generalization, the computational transform, in which the notion of computation is generalized from continuation passing to an arbitrary one. To establish a relation between direct style and continuation passing style interpretation of sequential call-by-value programs, we prove the Retraction Theorem which says that a lambda term ...
متن کاملA CPS - Translation of the
We present a translation of Parigot's-calculus 10] into the usual-calculus. This translation, which is based on the so-called continuation passing style, is correct with respect to equality and with respect to evaluation. At the type level, it induces a logical interpretation of classical logic into intuitionistic one, akin to Kolmogorov's negative translation. As a by-product, we get the norma...
متن کاملHow to CPS Transform a Monad
CPS transformation is an important tool in the compilation of functional programming languages. For strict languages, such as our web programming language “Rinso” or Microsoft’s F#, monadic expressions can help with structuring and composing computations. To apply a CPS transformation in the compilation process of such a language, we integrate explicit monadic abstraction in a call-by-value sou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Acoustical Society of America
سال: 1957
ISSN: 0001-4966
DOI: 10.1121/1.1918494